COVID-19 has cost Ohio tens of thousands of manufacturing jobs