CREATE TABLE table_name_7 (opponent VARCHAR(255), result VARCHAR(255))
Who is iván navarro's opponent?
    
SQL: SELECT opponent FROM table_name_7 WHERE result = "iván navarro"