CREATE TABLE table_name_80 (tournament_name VARCHAR2, runners_up VARCHAR2)

What's the name of the tournament that Gianni Ocleppo was the runner-up?
SELECT tournament_name FROM table_name_80 WHERE runners_up = "gianni ocleppo"
SELECT "tournament_name" FROM "table_name_80" WHERE "gianni ocleppo" = "runners_up"