In a Feb. 10 release, Google Maps said inside the U.S., the name would be updated to Gulf of America while people in Mexico would see Gulf of Mexico. “Everyone else will see both names,” said ...