Killing Innocents and the Doctrine of Double Effect