[18 July 2019] Pentagon to deploy additional 2,100 troops to U.S.-Mexico border - English