How much credit should Trump get for the coronavirus vaccines?