KGLO News Mason City police release more details about worker-related death of Cerro Gordo County employee