Another day off for federal workers.