How a school handled a positive COVID-19 case