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 lançado tem um porto de origem (a partir de julho de 2013) vendido para o Chile e um número de bandeira de f80?
 ###Tabelas: CREATE TABLE available_games (available_games_id AUTO_INCREMENT PRIMARY KEY, Title VARCHAR, Publisher VARCHAR, Developer VARCHAR, Release date VARCHAR, ESRB VARCHAR) CREATE TABLE nhl_goalie_mask_coins (nhl_goalie_mask_coins_id AUTO_INCREMENT PRIMARY KEY, Year INT, Theme VARCHAR, Artist VARCHAR, Mintage INT, Issue Price INT, Special Notes VARCHAR) CREATE TABLE ships_of_the_class (ships_of_the_class_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Pennant number VARCHAR, Laid down VARCHAR, Launched VARCHAR, Date of commission VARCHAR, Homeport (as of July 2013) VARCHAR, Planned decommission (as announced in 2009) VARCHAR) CREATE TABLE cbs_era_1979-2000 (cbs_era_1979-2000_id AUTO_INCREMENT PRIMARY KEY, Year INT, Network VARCHAR, Lap-by-lap VARCHAR, Color commentator(s) VARCHAR, Pit reporters VARCHAR, Host VARCHAR, Ratings VARCHAR, Viewers VARCHAR) CREATE TABLE america_rock (america_rock_id AUTO_INCREMENT PRIMARY KEY, Episode title VARCHAR, Subject VARCHAR, Music by VARCHAR, Lyrics by VARCHAR, Performed by VARCHAR, First aired VARCHAR)  
SELECT Launched FROM ships_of_the_class WHERE Homeport (as of July 2013) = sold to chile AND Pennant number = f80