Original: A substantial portion of the Peak District National Park lies within Derbyshire .
Simplified: Derbyshire is a county in the East Midlands of England .