If Trump’s deportation force were a military, it would be the 13th largest in the world.