New details on Trump’s troop deployments to the Mexican border