Shalom Nagar Dies; Reluctant Executioner of Adolf Eichmann