Pinellas Park police officer shoots, kills man

The officer shot a man who had stabbed another officer with a knife, the sheriff said.