Wrong holiday marking on Google Calendar!

WTF?  I showed up for work at the office, and strangely enough, I'm alone.  I checked on Google Calendar, and it says it's a regular working day.  But now that I check with a paper calendar printed locally, I see that indeed today is a national holiday!