The federal government is formally implementing President Trump’s directive to rename the Gulf of Mexico and Denali.

The Interior Department issued a press release saying that the “the Gulf of Mexico will now officially be known as the Gulf of America.”

It also said it was reversing an Obama-era decision to rename Alaska’s Mount McKinley to........

© The Hill