Pentagon: 5,200 US Troops Headed to Border with Mexico