solely because of the occurrence of a legal public holiday under
section 6103 of this title, or a day declared a holiday by Federal statute, Executive order, or, for individuals employed by the government of the District of Columbia, by order of the Mayor;