Google Maps is making a big change for US users, renaming the Gulf of Mexican to the Gulf Gulf after President Trump’s executive order. Kendall Green on Fox 5 has the story. Source link