"20th-century execution by the United States federal government" . . . .