He’ll probably be on paid administrative leave for years now. We know that can be frustrating for the government employees who sacrifice so much to go into “public service”.
Not to mention the bonanza of government shutdown for the non-essentials. No work and get paid later which, come to think of it, may actually be more productive than their working.