Is there any good read/documentary on Eichmann capture operation?