    Sentence 1: Would Mike Pence be a  better US president than Donald  Trump?    Sentence 2: Would Mike Pence make a  better U.S President than Donald  Trump given calls for Trump to step  down as the Republican nominee?