re: #149 makeitstop

That would turn Mike Pence into one of the shortest serving Presidents in history.