Google Maps switched Gulf of Mexico to Gulf of America on Monday. "We have a longstanding practice of applying name changes when they have been updated in official government sources," Google said.