The Pence pick: The time Trump didn’t go with his gut