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
  • deathbird
    link
    fedilink
    English
    arrow-up
    4
    arrow-down
    1
    ·
    5 hours ago

    Yeah I feel like there needs to be a huge asterisk by name declarations that, while formal/official in the barest sense, are blatantly arbitrary.