Jack Devine served at the Central Intelligence Agency for more than 30 years, rising to become the acting deputy director of operations – the head of all CIA spying operations.