Replacing references to Columbus Day in certain provisions of law with references to Indigenous Peoples' Day; and establishing that Indigenous Peoples' Day is to be observed on October 12 or, if the United States Congress designates another day for the observance of Columbus Day, the day designated by the United States Congress.