Michael Dougherty district attorney for Colorado’s 20th Judicial District