Steve Firth wrote:
The question there would be permits for extraction in a National Park.

Dig the mines outside the national park and then go sideways.

JGH