The two faces of the federal death penalty