Google on Monday changed the name of the Gulf of Mexico to "Gulf of America" for those using its Maps platform inside the United States, complying with an executive order ...