a presidential descendant supports a compromise

The federal government is formally implementing President Trump’s directive to rename the Gulf of Mexico and Mount Denali.
The Trump administration's Interior Department said on Friday it had officially changed the name of the Gulf of Mexico to the ...