Sec. 2 Election Day as a legal public holiday Section 6103(a) of title 5, United States Code, is amended by inserting after the item relating to Columbus Day the following: “Election Day.” ⋯