Navistar to Lay Off More Than 80 Ohio Workers