I am looking to map some data to local education authorities in england. I've found map examples here: http://schoolswebdirectory.co.uk/maps.php?region=all and https://www.haven.com/download/uk-summer-holiday-map-2014.pdf
Description is here: https://data.gov.uk/dataset/local-education-authorities-ew-apr-2009-names-and-codes
But I can't seem to find a shapefile to use. Any ideas?