@ChrisJWilson You might have a point there, but if I were Google I'd take my sweet time before changing the names. Especially for a body of international water, like the Gulf of Mexico, which the US does not own.

Plus I'm a grumpy old man now and I don't change quickly or easily anymore. :)