Do declassified files support Trump's election security claims?