Jajksaus-
Good catch--yes, they were Marine pilots.
Per www.joebaugher.com/navy_fighters/f9_7.html:
"Throughout the early 1950s, Panthers served extensively with active and reserve units of both the Atlantic and Pacific Fleets. They provided the mainstay of the Navy's jet-powered...