[30 October 2018] U.S. to deploy 5,000 more troops to Mexico border - English