Schema: CREATE TABLE table_name_65 (launched VARCHAR, homeport__as_of_july_2013_ VARCHAR, pennant_number VARCHAR)
Question: What kind of Launched has a Homeport (as of July 2013) of sold to chile, and a Pennant number of f80?
SQL: SELECT launched FROM table_name_65 WHERE homeport__as_of_july_2013_ = "sold to chile" AND pennant_number = "f80"