Anyone else notice that Google maps has changed the graphics on the site to reference Gulf of America rather than Gulf of Mexico? I don’t know why I’m surprised.