Comment by wbl

Those were military not CIA. The distinction really matters!