CREATE TABLE table_name_7 (diameter INT, name VARCHAR)

What is dardanus sulcus' lowest diameter?
SELECT MIN(diameter) FROM table_name_7 WHERE name = "dardanus sulcus"
SELECT MIN("diameter") FROM "table_name_7" WHERE "dardanus sulcus" = "name"