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
  • lmuel@sopuli.xyz
    link
    fedilink
    English
    arrow-up
    5
    ·
    3 hours ago

    Looking at it this way, I’d call the “mainland” part West Taiwan

    • barsoap@lemm.ee
      link
      fedilink
      English
      arrow-up
      1
      arrow-down
      3
      ·
      3 hours ago

      Nah West Taiwan is the western half of Taiwan. It’s an island, not a state, just as Denmark is not Jutland, or Spain, or Portugal (fight!) Iberia.