Underwater spear-gun records are not kept in Wyoming, but I helped facilitate the weighing (on a state certified scale) a walleye that topped the scale at 17 lbs. and 5 oz. The walleye came from Lake DeSmet in the northcentral part of the state.
At the time (summer 2018) a search of the underwater spear-gun world records listed the world record as being a walleye from Canada that was 13 lbs and change.
I am not sure if the walleye spear-gunned in Wyoming in 2018 was entered into the records program for fish taken in this manner.
Buffalo Fishhead