(a) In general The mountain located at 63°04′12″ N, by 151°00′18″ W, in the State of Alaska shall be known and designated as Denali. (b) References Any reference in a law, map, regulation, document, paper, or other record of the United States to the mountain described in subsection (a) shall be deemed to be a reference to Denali.