What kind of Launched has a Homeport (as of July 2013) of sold to chile, and a Pennant number of f80?
CREATE TABLE table_36212 (
    "Name" text,
    "Pennant number" text,
    "Laid down" text,
    "Launched" text,
    "Date of commission" text,
    "Homeport (as of July 2013)" text,
    "Planned decommission (as announced in 2009)" text
)
SELECT "Launched" FROM table_36212 WHERE "Homeport (as of July 2013)" = 'sold to chile' AND "Pennant number" = 'f80'
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: What kind of Launched has a Homeport (as of July 2013) of sold to chile, and a Pennant number of f80? ### Input: CREATE TABLE table_36212 (
    "Name" text,
    "Pennant number" text,
    "Laid down" text,
    "Launched" text,
    "Date of commission" text,
    "Homeport (as of July 2013)" text,
    "Planned decommission (as announced in 2009)" text
) ### Response: SELECT "Launched" FROM table_36212 WHERE "Homeport (as of July 2013)" = 'sold to chile' AND "Pennant number" = 'f80'