Trump might've told the president of Mexico that he'll send U.S. troops there.