Google Maps Renames Gulf of Mexico as Gulf of America for U.S. Users

People in Mexico will still see the name Gulf of Mexico, with international users seeing both names, Google said. The change follows an executive order from President Trump.