Military submarines are very expensive ships