Agencies determine holidays under section 6103 of title 5, United States Code, and Executive Order 11582 of February 11, 1971.