Trump picked an odd time to send troops to the US-Mexico border