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
  • @Rooty
    link
    English
    -26 hours ago

    Reference comments should stay on reddit.