Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Que tipo de Navio foi lançado com um Porto de Origem (a partir de julho de 2013) vendido para o Chile, e um número de Flâmula de f80?
  ###Tabelas:
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"