Question: if he drops out, does Pence become the nominee on ballots? Does Pence choose whatever VP he wants?