user: Question: What kind of Launched has a Homeport (as of July 2013) of Sold to Chile, and a Pennant number of F80?
Columns: ['Name', 'Pennant number', 'Laid down', 'Launched', 'Date of commission', 'Homeport (as of July 2013)', 'Planned decommission (as announced in 2009)']
Types: ['text', 'text', 'text', 'text', 'text', 'text', 'text']
Sample row: ['Norfolk', 'F230', '14 December 1985', '10 July 1987', '1 June 1990', 'Sold to Chile', 'N/A']
SQL:

assistant: SELECT "Launched" FROM "Table" WHERE "Homeport (as of July 2013)" = 'Sold to Chile' AND "Pennant number" = 'F80';