To those charged with ending attacks, the debate over whether to kill the leader of a terrorist group may seem a naive intellectual luxury. After all, terrorist groups themselves target not just random civilians but also specific high-profile individuals.