What was the name of the CIA's informant