Orlando Hall was executed in the federal death chamber