Diamond Drill

A type of rotary rock drill that cuts a core.