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
  • joostjakob@lemmy.world
    link
    fedilink
    English
    arrow-up
    16
    ·
    edit-2
    9 hours ago

    So now that is in the hands of the folks who use the OSM data. It’s in a somewhat exotic tag, so by default any map that uses OSM will still show Gulf of Mexico, unless they actively intervene to show Gulf of America. So if you see an OSM based map showing the latter, you know they made that choice consciously.