I remember when I had my clearance, we were told anything we worked on was classified for a minimum of like 75 years, unless it was declassified earlier. I remember because they told is if we were 18, we could potentially legally talk about our work at the age of 93, assuming the classification wasn't extended.
Anyway, part of that briefing was the outlining of consequences should we leak any classified information. We were told if the information we leaked resulted in the death of an intelligence officer anywhere in the world, we could and likely would be tried for treason. And the punishment for treason during a time of war (Global War on Terror, amiright) could be death.
So... He'll be charged with treason like any of us plebs would have been, right? Right?!