Fetching details from the dictionary...
substitute national holiday; day off in lieu of a national holiday that falls on a Sunday; compensatory holiday