He must be prosecuted, and his pension stripped.
No way they take his federal pension. The only way you lose your pension is to be convicted of treason. Tough to do.