US to send 800 more troops to Mexico border