Employees working on a holiday shall be compensated for such time worked at the rate of one and one-half (1-½) times the straight-time rate. This compensation may, at the option of the employee, be in the form of overtime pay or compensatory time off, but may not be a combination of the two.