5,000 active-duty troops deployed to U.S. border