In light of recent events, here's OpenStreetMap editors discussing naming of the Gulf of Mexico
In light of recent events, here's OpenStreetMap editors discussing naming of the Gulf of Mexico

Gulf of America - Gulf of Mexico

As of revision version #85, OpenStreetMap has the following tags for Golfo de México:
- name:en Gulf of Mexico
- official_name:en-US Gulf of America
As an american. I want the option to display it as Gulf of Mexico. Like it's always been before that fat sack of shit was trying to win points wit hracists to distract them from the hand reaching up their ass to fuck them.
As an American and long time OSM contributor, I also vote extremely no on Gulf of America.
Also no on renaming New Mexico.
Wait there's talk of renaming New Mexico‽
after some digging
Oh thank god it was just a joke
"Petition to rename New Mexico to Freexico, and Mexico to Cartelistan"
So now that is in the hands of the folks who use the OSM data. It's in a somewhat exotic tag, so by default any map that uses OSM will still show Gulf of Mexico, unless they actively intervene to show Gulf of America. So if you see an OSM based map showing the latter, you know they made that choice consciously.
They could add a snowflake option that when activated makes it display as Gulf of America.
A checkbox labelled "Triggered" on the phone.
As an American I have to second this. Please don't fall in line to lick trump's boot