at the age of 80 and lay in state in the United States Capitol Rotunda. (17) Lewis advised: Do not get lost in a sea of despair. Be hopeful, be optimistic. Our struggle is not the struggle of a day, a week, a month, or a year, it is the struggle of a lifetime. Never, ever be afraid to make some noise and get in good trouble, necessary trouble. . 3. John Lewis Election Day holiday For purposes of any law relating to Federal employment, November 3, 2020, shall be a legal public holiday, to be known and designated as John Lewis Election Day , described in section 6103 of title 5, United States Code. 4. Sense of Congress regarding treatment of day by private employers It is the sense of Congress that private employers in the United States should give their employees the day off on November 3, 2020, to enable the employees to cast votes in the elections held on that day and to honor the life and legacy of John Lewis.