The Pentagon has identified about 7,000 troops that could be deployed to the border with Mexico if needed, a U.S. official told Reuters on Wednesday.