Mexican President Claudia Sheinbaum joked that if Trump went ahead with the renaming, her country would rename North America “Mexican America.” On Tuesday, she toned it down: “For us and for the entire world it will continue to be called the Gulf of Mexico .”

Mapmakers and teachers are re-thinking what to call the gulf of water between Mexico, the United States, and Cuba after President Trump ordered it renamed from the Gulf of Mexico to the Gulf of America.

For years, as disputes over names on the map riled up nationalist passions in several parts of the world, US policymakers have watched warily, trying to stay out or to