How much are we paying the military to push immigrants around at the borders?