CREATE TABLE table_name_17 (launched VARCHAR, spacecraft VARCHAR)

What launched has mariner 4 as the spacecraft?
SELECT launched FROM table_name_17 WHERE spacecraft = "mariner 4"
SELECT "launched" FROM "table_name_17" WHERE "mariner 4" = "spacecraft"