Minería marina Actividades y operaciones mineras adelantadas en medios marinos o en el límite con ellos. Glosario técnico minero