Google maps now says that the gulf of mexico is the gulf of america