A large part of the Peak District National Park lies within Derbyshire .
A substantial portion of the Peak District National Park lies within Derbyshire .