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
  • the_doktor@lemmy.zip
    link
    fedilink
    English
    arrow-up
    27
    arrow-down
    1
    ·
    8 days ago

    How is it the “official name” even for en-US? Trump isn’t the be all and end all of naming things. Every single rational, thinking person in the USA, and many, many people who aren’t so rational (Trump voters), still call it the Gulf of Mexico and always will. Official, my ass.

    The early proposal of alt-name: en-US=Gulf of America seemed the most logical.

    Holy hell, I hate this cursed timeline.