<question>: What launched has mariner 4 as the spacecraft? <context>: CREATE TABLE table_name_17 (launched VARCHAR, spacecraft VARCHAR)
SELECT launched FROM table_name_17 WHERE spacecraft = "mariner 4"