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: Quando Edoardo Amaldi lançou?
 ###Tabelas: CREATE TABLE division_by___reflex (division_by___reflex_id AUTO_INCREMENT PRIMARY KEY, English VARCHAR, Predecessor VARCHAR, Ekavian VARCHAR, Ikavian VARCHAR, Ijekavian VARCHAR, Ijekavian development VARCHAR) CREATE TABLE atv_missions (atv_missions_id AUTO_INCREMENT PRIMARY KEY, Designation VARCHAR, Name VARCHAR, Launch date VARCHAR, ISS docking date VARCHAR, Deorbit date VARCHAR) CREATE TABLE structures_past_or_present_between_550_and_600_m_1804_ft_and_1969_ft (structures_past_or_present_between_550_and_600_m_1804_ft_and_1969_ft_id AUTO_INCREMENT PRIMARY KEY, Pinnacle height VARCHAR, Year INT, Structure type VARCHAR, Main use VARCHAR, Country VARCHAR, Town VARCHAR) CREATE TABLE easy_rock_stations (easy_rock_stations_id AUTO_INCREMENT PRIMARY KEY, Branding VARCHAR, Callsign VARCHAR, Frequency VARCHAR, Power (kW) VARCHAR, Location VARCHAR) CREATE TABLE shopping (shopping_id AUTO_INCREMENT PRIMARY KEY, Television service VARCHAR, Country VARCHAR, Language VARCHAR, Content VARCHAR, HDTV VARCHAR, Package/Option VARCHAR)  
SELECT Launch date FROM atv_missions WHERE Name = edoardo amaldi