Google is right to change the Gulf of Mexico's name in its Maps app in the USnotes.ghed.in2 pointsrpgbra year ago