It just so happens that yes, it is a federal holiday...
Wow... when did that happen? My office/company is open as normal.