Should the DNR ban walleye fishing on Lake Mille Lacs?