そもそも4000m潜れる潜水艇って過去あったんか