Please read the community discussions on renaming the gulf at https://community.openstreetmap.org/t/gulf-of-america-gulf-of-mexico/124571/50. Until the community agrees on the name, it should not be modified. 

This changeset has been reverted