Did the US Central Intelligence Agency lose 17 spies in Iran?