Donald Trump said Mexico’s President Claudia Sheinbaum agreed to deploy 10,000 additional Mexican troops to the border with the US