“...has about 35,000 employees .....and no one seems to work” applies to about any Fed.gov agency... in the Washington DC fairy zone of magical skittle pooping unicornz...
And wouldn't this have been a perfect holiday weekend to furlough all the SES gov't employees before they come back in and try to further sabotage the works? Remember the shutdown of a few years ago - a good percentage of gov't employees were laid off and the government didn't skip a beat.