CREATE TABLE table_name_76 (postcodedistrict VARCHAR, location VARCHAR)

What is the name of the Post code district that is in Eden Park?
SELECT postcodedistrict FROM table_name_76 WHERE location = "eden park"
SELECT "postcodedistrict" FROM "table_name_76" WHERE "eden park" = "location"