Euthanasia, efficiency, and the historical distinction between killing a patient and allowing a patient to die