No idea. But they have to make sure he does not get $219,000/year pension, staff and office expenses, medical care and Secret Service protection for the rest of his life on the taxpayers' dollar. He's bled America enough.