Drilling through the largest magma chamber on Earth: Bushveld Igneous Complex Drilling Project (BICDP)