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: Qual lançamento teve a Mariner 4 como a espaçonave?
 ###Tabelas: CREATE TABLE men's_lanterne_rouge (men's_lanterne_rouge_id AUTO_INCREMENT PRIMARY KEY, Year INT, Name VARCHAR, Nationality VARCHAR, Time VARCHAR, Age category VARCHAR) CREATE TABLE 1960s (1960s_id AUTO_INCREMENT PRIMARY KEY, Spacecraft VARCHAR, Destination VARCHAR, Launched VARCHAR, Closest approach VARCHAR, Time elapsed VARCHAR) CREATE TABLE japan_football_league_jfl_1999–2013 (japan_football_league_jfl_1999–2013_id AUTO_INCREMENT PRIMARY KEY, Season INT, Winner VARCHAR, Runner-up VARCHAR, Third place VARCHAR, Fourth place VARCHAR) CREATE TABLE towns (towns_id AUTO_INCREMENT PRIMARY KEY, Town VARCHAR, Population (2001) INT, Population rank INT, County VARCHAR, Municipality VARCHAR) CREATE TABLE academy_awards_–_actual_presidents (academy_awards_–_actual_presidents_id AUTO_INCREMENT PRIMARY KEY, Year INT, Category VARCHAR, President VARCHAR, Nominee VARCHAR, Film VARCHAR, Result VARCHAR)  
SELECT Launched FROM 1960s WHERE Spacecraft = mariner 4