Table schema:
CREATE TABLE table_name_72 (tie_no VARCHAR, home_team VARCHAR)

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