Comment by plasticsoprano

Well, 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.