Military submarines are expensive machines