In the past four months, U.S. President Trump has raised the number of active-duty troops on the border from 2,500 at the end ...