That's a good question. I haven't heard any information one way or the other, and it wouldn't surprise me if the public never learns those kinds of details (or, rather, only learns in 30 years or whenever it gets declassified)