Di antara 100 perubahan penting yang dilakukan Presiden Donald Trump, ada satu yang tidak penting: perubahan nama gunung.