And BTW, I didn't mean to say that CIA agents were killed (though some might have been). Those killed were the CIA's Chinese contacts if I understand the article correctly.
mark