[Oligarquia da tecnologia é trumpista] Google Maps diz que vai mudar nome do Golfo do México para Golfo da América. Alteração acontecerá quando nomenclatura for aplicada em fontes oficias e valerá apenas para usuários dos EUA (Folha)