Gulf of America - Gulf of Mexico
community.openstreetmap.org
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:

  • name:en Gulf of Mexico
  • official_name:en-US Gulf of America