Is it okay to kill, like David killing Goliath or King Saul being commanded to utterly destroy Amalek, or is killing forbidden?
