‘Violent criminal’ killed by police after murdering Florida K-9