美国共和党正式提名特朗普为党内总统候选人，正式通过詹姆斯·戴维·万斯作为共和党副