Mining vessels are vessels use in mining operations (in the extractive sense).