Republican Party nominates Donald Trump for US president

The Republican Party formally nominates Donald Trump for president of the United States, capping a roller-coaster campaign that saw the billionaire tycoon defeat 16 White House rivals.