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 ...