World | Wed Dec 12, 2012 6:02am EST

Former Florida policeman executed for 1986 killing spree