Spadefish: On Patrol with a Top-Scoring WWII Submarine