Google Maps now lists the Gulf of Mexico as the "Gulf of America" for US users, following an executive order by Donald Trump.