What kind of Launched has a Homeport (as of July 2013) of sold to chile, and a Pennant number of f80?
CREATE TABLE table_name_65 (launched VARCHAR, homeport__as_of_july_2013_ VARCHAR, pennant_number VARCHAR)
SELECT launched FROM table_name_65 WHERE homeport__as_of_july_2013_ = "sold to chile" AND pennant_number = "f80"
<s>[INST] Write mssql query to answer the following question given the database schema. 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? [/INST] SELECT launched FROM table_name_65 WHERE homeport__as_of_july_2013_ = "sold to chile" AND pennant_number = "f80" </s>