Florida Man Executed for Fatally Shooting Police Officer

A man who fatally shot a police officer with his service revolver has been executed in Florida, bringing an end to a long-standing legal case.