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
  • zlatiah@lemmy.worldOP
    link
    fedilink
    English
    arrow-up
    8
    ·
    16 hours ago

    Frankly I agree. From my personal experience, every single native Chicagoan has been calling that particular building “Sears Tower”. Even though the name has been officially changed for more than 15 years by this point…

    And I thin OSM actually handled this quite well! The original Sears Tower name is still available as an “alt_name” tag on OSM as well, I just double-checked and yep it’s still searchable on the map