CREATE TABLE table_name_72 (tie_no VARCHAR(255), home_team VARCHAR(255))
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"