Mike Pence is also nominated, but Donald Trump himself is still missing. Maybe he will not run.