OpenStreetMap? They don't show ocean names on the map, but didn't change the primary name of the GoM POI, but instead added the new name as an official en-US name (and the official name used by Poland too).

https://community.openstreetmap.org/t/gulf-of-america-gulf-o...