Donald Trump formally named as Republican presidential nominee

Donald Trump has been formally named as the Republican presidential nominee - days after he survived an assassination attempt.