@Wileymiller@mastodon.social @John@mastodon.social Looking through the congressional record, Murkowski introduced S.319 in Jan 2015, but it never made it out of committee: https://www.congress.gov/bill/114th-congress/senate-bill/319

Wikipedia cites an Order from the Interior for the renaming: https://www.doi.gov/sites/doi.gov/files/elips/documents/3337%20-%20Changing%20the%20Name%20of%20Mount%20McKinley%20to%20Denali.pdf