If an employee works on Sunday (i.e., the 7th day), we will normally provide a compensatory holiday within the next 3 days (i.e., on or before the 10th day). If the 9th or 10th day falls on a national holiday, what is the procedure for giving the compensatory holiday?