But in order to know for sure...we'll have to wait for those documents to be de-classified...and I've a feeling that may take a really long time.
if ever. Probably doesn't really matter anyway.