Should the Trump administration really have bought more Pfizer vaccine doses?