Police officer who was killed in 2017 liberty township ohio