CREATE TABLE table_name_31 (launched VARCHAR(255), date_of_commission VARCHAR(255))
What is the Launched which is on 3 may 2001?
    
SQL: SELECT launched FROM table_name_31 WHERE date_of_commission = "3 may 2001"