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
  • catloaf@lemm.ee
    link
    fedilink
    English
    arrow-up
    46
    ·
    edit-2
    8 hours ago

    Fun fact, per the executive order, the whole body isn’t being renamed the Gulf of America, only the “U.S. Continental Shelf area bounded on the northeast, north, and northwest by the States of Texas, Louisiana, Mississippi, Alabama and Florida and extending to the seaward boundary with Mexico and Cuba”. That is, less than the northern half, as indicated in this map: https://commons.wikimedia.org/wiki/File:US_ECS_Regions_2023.png

    I hope this is due to someone intentionally wording it to sound correct, but in reality being extra screwy so that they look like fools.