I have reverted your renaming the Gulf of Mexico. The community has agreed on the proper name for the gulf - see https://community.openstreetmap.org/t/gulf-of-america-gulf-of-mexico/124571 for some of the discussion.