All were fired or left after Donald Trump’s assault on the civil service, along with roughly 300,000 other federal workers. “We want to put them in trauma,” Trump’s Office of Management and Budget director famously said. “We want the bureaucrats to be traumatically affected. When they wake up in the morning, we want them to not want to go to work because they are increasingly viewed as the villains.”