The Trump administration has officially implemented name changes for Alaska's Mount Denali and the Gulf of Mexico, as requested by the new president.  A good decision on both counts.

     The Interior Department announced that the Gulf of Mexico will now officially be known as the Gulf of America and North America's highest peak will once again bear the name Mount McKinley to "honor the legacy of American greatness."  "These changes reaffirm the Nation's commitment to preserving the extraordinary heritage of the United States and ensuring that future generations of Americans celebrate the legacy of its heroes and historic assets," the department said in a statement.

     Donald Trump signed a controversial executive order ordering the name changes after promising to do so in the aftermath of his election.  Department officials said the U.S. Board on Geographic Names "is working expeditiously to update the official federal nomenclature in the Geographic Names Information System to reflect these changes, effective immediately for federal use."

     Mount McKinley, named after the President William McKinley in 1917, 16 years after he Republican's assassination in office, was rechristened Denali in 2015 by then-President Barack Obama, recognizing its traditional Native Alaskan name by which it had long been informally known