Republicans formally chose Donald Trump as the party’s presidential nominee Tuesday, a landmark moment in American politics and a stunning victory for a man whose White House ambitions were once openly mocked. After a turbulent campaign that saw Trump defeat 16 rivals and steamroller stubborn party opposition, the tycoon said ...