Hivatalosan is Donald Trump lett a republikánusok elnökjelöltje