STARKE, Fla. (AP) — Florida puts 80-year-old man to death for a double murder, hours after executing ex-police officer for a girl’s killing.