After announcing it would be renaming the Gulf of Mexico as the Gulf of America, Google has officially changed on its Maps application.

"When that happens, we will update Google Maps in the U.S. quickly to show Mount McKinley and Gulf of America." "Also longstanding practice: When official names vary between countries, Maps users ...

Users outside the United States will see both the name Gulf of America and the name used ... “When official names vary between countries, Maps users see their official local name.