Hivatalosan is Donald Trump a republikánus elnökjelölt