Mexico sends roughly 15,000 troops to US border