鉱物が豊富なのは分かったが、それから金属を作るのは大変な器機と労力がいるだらう
結局、海底軍艦完成まで18年かかったわけだが、これは短いと捉えるのか長いとみなすのか