Home Investing Google Maps to rename Gulf of Mexico to Gulf of America for US users after Trump’s order