Pentagon sending 3,750 more troops to Mexico border