20141219 world.us: Crucial spy in Cuba paid a heavy Cold War price