What is the name of the Post code district that is in Eden Park?
CREATE TABLE table_name_76 (postcodedistrict VARCHAR, location VARCHAR)
SELECT postcodedistrict FROM table_name_76 WHERE location = "eden park"
### Context: CREATE TABLE table_name_76 (postcodedistrict VARCHAR, location VARCHAR) ### Question: What is the name of the Post code district that is in Eden Park? ### Answer: SELECT postcodedistrict FROM table_name_76 WHERE location = "eden park"