Declassified documents have been released