In the event that a nonexempt employee shall be required to
work on said holiday, his or her compensation shall be at 1 1/2
times his or her regular straight-time pay for all hours worked on
such holiday. At the direction of the department head, the employee
may elect to earn compensatory time for the time worked on the holiday.