Edward Zakrzewski, a man convicted of killing his family with a machete in 1994, was sentenced to death in Florida on Thursday, setting the state’s record for the highest number of executions since the restoration of the death penalty.

The execution of Edward Zakrzewski set a record for the most in Florida in a single year, 9, since the death penalty was restored.

A man convicted of the 1994 killings of his wife and their two children became the ninth person put to death in Florida this year, his death Thursday marking a state record for a single-year execution total since the U.