Gulf of America now shows up on Google Maps

President Trump changed the name of the Gulf of Mexico to the Gulf of America through an executive order in January. Google Maps is now reflecting that change.