@beandreams I’m retired but spent 35 years as a journalist and never left out a cop’s name. Often cops were the primary sources for stories, like for bank robberies, fatal accidents, murders, etc. I don’t recall ever having to write a story about a bad cop but sure would never leave out their name.