美共和党正式提名特朗普为总统候选人，万斯为副总统候选人。