A Mike Pence Run for President Would Be No Joke