I like to imagine someone swimming in the Gulf of Mexico when Google unceremoniously renamed it to the Gulf of America. There they are, backstroking across the pristine green and blue waters as the giant words float down from the sky and land on top of them.

Google Maps has changed the Gulf of Mexico's name to the Gulf of America for people using the app in the US. Explaining the move, Google said it was making the change as part of "a longstanding practice" of following name changes when updated by official government sources.