CREATE TABLE table_name_72 (tie_no VARCHAR2, home_team VARCHAR2)

What is the tie number when the home team is Port Vale?
SELECT tie_no FROM table_name_72 WHERE home_team = "port vale"
SELECT "tie_no" FROM "table_name_72" WHERE "home_team" = "port vale"