Should a judge be selected based on character, skills, and record—or to meet DEI goals?