CREATE TABLE table_name_20 (country VARCHAR(255), player VARCHAR(255))
What country was the game in when the player was Craig Stadler?
    
SQL: SELECT country FROM table_name_20 WHERE player = "craig stadler"