John Prados, miner of declassified documents, dies at 71 – The Washington Post December 25, 2022 John Prados, miner of declassified documents, dies at 71 The Washington Post