Torching of nuke sub costs $400 million; Navy's budget struggles for air