Created an account just to say, PLEASE - keep this label as “Gulf of Mexico”. As on open community, we should not bend to the knee of a tyrant. One sad pathetic man should not have that power. I am disgusted and ashamed to be an American right now. Google, Apple, and the rest sell us out. I refused to comply. OSM must remain unbiased, and keep the name which has defined this body of water for hundreds of years. If anything I said above offends you than you need to look in the mirror.
As of revision version #85, OpenStreetMap has the following tags for Golfo de México:
Persian Gulf or Gulf of Iran?
I just checked, and OSM has it as Persian Gulf, with the alternative name Arabian Gulf.
Comes down to the language/data of the user I guess
Edit: I’ll be using this with my Gulf War veteran father tho, bet your ass