digunakan dalam penambangan laut dalam