CREATE TABLE table_name_65 (launched VARCHAR(255), homeport__as_of_july_2013_ VARCHAR(255), pennant_number VARCHAR(255))
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"