Lt. Comdr. David Tarantino, Jerry Henson, and Navy Capt. David Thomas