I found an interactive map on a website: here
The map on the website looks like this:
Is there any way to do download the red lines as shapefiles?
Geographic Information Systems Stack Exchange is a question and answer site for cartographers, geographers and GIS professionals. It only takes a minute to sign up.Sign up to join this community
It is available in JSON the direct link is it is in json format:
This can be converted using ETL Tools to shapefiles.
(The link was too long for a comment so posted this as an answer.)