Each of the respondents was employed by the Navy under a Schedule of Wages which provided that 'whenever an employee is relieved or prevented from working solely because of the occurrence of any day declared a holiday' he was to receive the same pay for such days as for other days.