The OSM Community discusses the Trump Administration's renaming of "The Gulf of Mexico" to "The Gulf of America"
(community.openstreetmap.org)
Looking at a map, it would really be best named the Gulf of the Americas.
But otherwise is this reminiscent of Erdoğan's decree changing the name of Turkey to Turkiye.
A map should show the established name, i.e., the most widely understood designation, the one that enjoys the most consensus, including among specialists, historians, and so on. In a sane world, dictators do not get to wake up one morning and decide to change our maps.
It's still the Gulf of Mexico.