Mike Pence's chances of becoming President is over.