if trump were to step down, who would replace him on the ticket? would it automatically be jd vance?