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