I have very little expectation that anything will happen to Kelly or any of the other traitors.
But anything that can be done to tarnish their careers would be something.
They need to do whatever punishment is suitable & if it affects retirement pay...well Mark Kelly should have kept this in mind & been more careful about what he did.