Operation Pimlico: The only successful extraction of a Soviet double agent