The federal government is formally implementing President Donald Trump’s directive to rename the Gulf of Mexico and Denali to the Gulf of America and Mount McKinley, respectively.