Holiday
Holiday or legal holiday shall mean the legal public holidays specified by the Congress in paragraph (a) of section 6103, Title 5, of the United States Code.
or
shall mean the legal public holidays specified by the Congress in paragraph (a) ofsection 6103, Title 5, of the United States Code.