Man who fatally shot a police officer with his service revolver is executed in Florida

STARKE, Fla.