[Commentary]: Good Riddance to Mike Pence