gulf of mexico name change associated press