President Donald Trump’s second term had already brought misery to the nation’s 2.1 million civilian federal workers: ...