holiday
(2) The term “holiday” means any day designated as a holiday under a Federal statute or Executive order.
Source
19 USC § 267(e)(2)
Scoping language
As used in this section
Is this correct?
or