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