By a 1938 Resolution, the applicable law during the period in question, Congress provided that whenever per diem employees were relieved or prevented from working solely because of the occurrence of holidays declared by statute or executive order, they shall receive the same pay for such days as for other days on which an ordinary day's work is performed.