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
  • m33
    link
    fedilink
    291 month ago

    @zlatiah Best comment in this thread: " Can we retag Trump’s golf courses as Golf of Mexico? " 🤣