Holiday During Paid Leave. Any paid holiday occurring during an employee's vacation, bereavement leave, sick leave, or other paid leave shall entitle said employee to a day off with pay at the employee's regular daily rate upon their return, or the employee may bank the time.