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
  • barsoap@lemm.ee
    link
    fedilink
    English
    arrow-up
    2
    arrow-down
    1
    ·
    edit-2
    4 hours ago

    Taiwan is the island, also known as Formosa, and it is ruled by the Republic of China. Separately, but still part of that state, there’s the autonomous mainland provinces, calling themselves the People’s Republic of China, a rebel faction which somehow steadfastly refuses to declare independence.

    • lmuel
      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.