Siguiendo una orden previa de Donald Trump, Google Maps ha dado por enterrado el nombre de Golfo de México, que ha pasado a denominarse Golfo de América.