I've seen pics of Navy fighter pilots with the shark knife. I doubt that two or three pilots standing together had made the same private knife choice so they were probably issued aboard that carrier.
They may have been bought with general Navy procurement or through ship's funds.
Watch the Korean war epic, "The Bridges at Toko-Ri" and look at the pilots' knives. Wm. Holden has one style of Western and his squadron leader wears another, very like one seen here. These were probably authentic choices on the carrier where the drama was filmed.
One may have been left over from WW II.
I bought a small Western knife from another airman in the mid 1960's, but used it only as intended, a trout and small game knife. I still have it. The leather sheath is floral stamped. I had larger Randall, Buck (Model 105) , and Gil Hibben knives for more serious endeavors, and my first good knife, a German Bavarian style one by Anton Wingen & Co. in Solingen. I got that one when I was about nine and still have it.
I carried a Wostenholm (IX*L) Boy Scout knife for a pocket utility item until I got my first Swiss Army knife in 1966.
I've been a knife buff since I was a fan of Tarzan and Jungle Jim as a lad.
Oh: another airman I knew had a Western (brand) Bowie with eight-inch blade. But it was a more modern style than than seen here.