Police release names of officers involved in East Walnut Hills shooting that hospitalized officer, suspect.