alt Hacker NewsWell, when you visit it https://www.openstreetmap.org/#map=7/23.765/-87.100 there's no naming of that area at all. At least when looked at from a US IP. And when you search "Gulf of America" it returns "Gulf of Mexico". So take from that what you will.
Also https://www.openstreetmap.org/#map=8/43.622/-78.852 shows "Lake Ontario". But it does carry the tag "official_name:en-US": "Lake America", so search will find Lake America and a mapping app could decide to show the official name
Though generally official names are the names nobody uses. For example the country labeled "France" also has the attribute "official_name:en": "French Republic"