Private agent vs. social planner in COVID-19 mitigation