Military submarines are very expensive machines