Will we have a President Pence, or a President Clinton, or a President Kasich?