The execution of Jose Antonio Jimenez in Florida late Thursday marked the 25th such killing this year, up two from last year. That makes 2018 the fourth year in a row in which fewer than 30 people were executed in the United States. That, incongruously enough, is progress. Since the U.S.