How Well Did Experts and Laypeople Forecast the Size of the COVID-19 Pandemic? | AMiner