It's official: Trump is Republican nominee

http://www.cnn.com/2016/07/19/politics/donald-trump-republican-nomination-2016-election/index.html