The current total increases the number of US military personnel at the Southern frontier to roughly 7,000 — about 5,000 more than America has in Syria to fight ISIS and approximately one-third the size of the entire Border Patrol force at the US-Mexico line.