About 9,000 walleye spring fingerlings were released by Department of Natural Resources fisheries staff