Gulf of America name change now appears on Google Maps for US users

(CNN) – The body of water widely known as the Gulf of Mexico is now listed as the Gulf of America for United States-based users of Google Maps in keeping with an executive order signed by President Donald Trump.

Google says its policy is to change…