CREATE TABLE table_name_17 (launched VARCHAR(255), spacecraft VARCHAR(255))
What launched has mariner 4 as the spacecraft?
    
SQL: SELECT launched FROM table_name_17 WHERE spacecraft = "mariner 4"