CREATE TABLE table_name_31 (launched VARCHAR, date_of_commission VARCHAR)

What is the Launched which is on 3 may 2001?
SELECT launched FROM table_name_31 WHERE date_of_commission = "3 may 2001"
SELECT "launched" FROM "table_name_31" WHERE "3 may 2001" = "date_of_commission"