Google Maps is making it a lot easier to search the newly named Gulf of America — officially switching from the Gulf of Mexico to comply with President Trump’s executive order renaming it. Users now ...