SELECT launched FROM table_name_65 WHERE homeport__as_of_july_2013_ = "sold to chile" AND pennant_number = "f80"
Jenis yang diluncurkan seperti apa homeport (pada Juli 2013) dijual ke Chili, dan sejumlah panji F80?
CREATE TABLE table_name_65 (launched VARCHAR, homeport__as_of_july_2013_ VARCHAR, pennant_number VARCHAR)