On my calendar it says holiday in leau of Christmas day - but was it an 'official' one? I need to know for my time sheet at work