I've reverted this changeset. Once the community has reached an agreement on how it should be tagged, please do not add names to the gulf. Discussions on https://community.openstreetmap.org/t/gulf-of-america-gulf-of-mexico/124571 

￼
