President Donald Trump just said during his inauguration that he wants to rename the Gulf of Mexico to the Gulf of America. Aside from the political aspects, how does that even work? How does OSM choose a source for that? I’m curious! Also, somebody executed what I thought while I wrote this post:
As of revision version #85, OpenStreetMap has the following tags for Golfo de México:
I just checked, and OSM has it as Persian Gulf, with the alternative name Arabian Gulf.