RIP to the Pence presidential campaign