Pawlenty names new judge for Ramsey County