Google Maps updates the Gulf of Mexico’s name to Gulf of America for U.S. users, following a government directive.

The nation's tallest peak, which Trump ordered be renamed Mount McKinley, has not yet been changed in federal databases and ...