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