Djeez, little quick on the gun, aren't we?
Yeah, an unsourced screenshot is a little light on detail for me. And I'd like to share the story further, but for that I want more context. Also, I'm interested to learn more about this, just because I find it an interesting story..
So now that is in the hands of the folks who use the OSM data. It's in a somewhat exotic tag, so by default any map that uses OSM will still show Gulf of Mexico, unless they actively intervene to show Gulf of America. So if you see an OSM based map showing the latter, you know they made that choice consciously.