On Google Maps, users in Mexico will still be able to see the Gulf of Mexico while users elsewhere worldwide will come across both names