core barrel


noun

(in a core drill) a length of pipe for holding rock cores while they are being extracted from the drill hole.

Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2019