From the Wikipedia for Gulf of Mexico:
While the Interior Department confirmed that the Gulf of America name was effective for U.S. federal agencies, on January 24, the change does not apply in an international context.
I’m in the process of migrating my saved locations and addresses to Organic Maps. Bye Google.
From the Wikipedia for Gulf of Mexico: