President Donald Trump issued an executive order changing the name of 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 quietly encourage peace. "For us it is still the Gulf of Mexico and for the entire world it is still the Gulf of Mexico,

After President Donald Trump issued an executive order to change the name of the Gulf of Mexico to the Gulf of America, Florida Gov. Ron DeSantis quickly jumped on the idea. But actually making