since Mr. Trump's position gives him authority to alter geographical names of places inside the country. The Gulf of Mexico first appeared on a world map roughly 400 years ago, as Mexico's ...