20160720 world.us: It's official: Donald Trump becomes Republican Party nominee for US President