Pandemic forces Ohio’s 2020 gaming revenue down