Discuss as:

Florida executes ex-cop for killing 9 in 1986