WWII Marine-Turned John Wayne Stunt Double Was Friday 13th’s Jason, Too