(a)
In general— The Pullman National Monument, established by Proclamation Number 9233, dated February 19, 2015, is redesignated as the “Pullman National Historical Park.”.
(b)
Availability of funds— Any funds available for purposes of the Pullman National Monument shall be available for purposes of the historical park.
(c)
References— Any references in a law, regulation, document, record, map, or other paper of the United States to the Pullman National Monument shall be considered to be a reference to the historical park.
(d)
Proclamation— Proclamation Number 9233, dated February 19, 2015, shall have no force or effect.