since Mr. Trump's position gives him authority to alter geographical names of places inside the country. The Gulf of Mexico ...