President Donald Trump’s executive order to rename the Gulf of Mexico and Alaska’s Denali has resulted in lots of discussion