Does Pence automatically become the Republican candidate for president? Who’ll be the vice-presidential candidate?
or