Jakten på rød oktober er endelig over.