Does the death of an employee extinguish their right to holiday pay?