CREATE TABLE table_name_17 (launched VARCHAR2, spacecraft VARCHAR2)

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"