“Ken Griffin estimates that Operation Warp Speed saved approximately half a million lives in the United States.”