Last month, 15 boxes of materials from Donald Trump’s presidency were retrieved from his home at Mar-a-Lago by employees of the National Archives — boxes that contained, among other things, letters from North Korean dictator Kim Jong Un and former President Barack Obama.