If Dickens had put Mike Pence into one of his 

novels, he would have named him Old Pinchnose.