Trump sent 10,000 soldiers to the border.