For users in the U.S., the body of water is now labeled ‘Gulf of America.’ Users in Mexico will continue to see ‘Gulf of Mexico,’ while users elsewhere will see both names,” ...