Gulf of Mexico Renamed: Google previously said it has “a longstanding practice of applying name changes when they have been updated in official government sources.”