That’s horrible, but unsurprising. There’s always been resentment, fostered deliberately by the right, that all gov. employees somehow have it too soft. Even vets aren’t safe. The Rs hated the Civil Service (many of them military vets) and their donors hated them, too. Unions, pensions, how awful!