Google Maps has replaced “Gulf of Mexico” with “Gulf of America” for US users, following an official name change by the Trump ...