WASHINGTON — President Donald Trump said Wednesday that the number of military troops deployed to the U.S.-Mexican border could reach 15,000 — roughly double the number the Pentagon said it currently plans for a mission whose dimensions are shifting daily. The Pentagon said "more than 7,000" troops were being sent...