US sending 5,200 troops to border