What is the current map designation of the feature for which derain crater was the namesake?
CREATE TABLE table_name_25 (current_map VARCHAR, namesake VARCHAR)
SELECT current_map FROM table_name_25 WHERE namesake = "derain crater"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_25 (current_map VARCHAR, namesake VARCHAR) Question: What is the current map designation of the feature for which derain crater was the namesake? [/INST] SELECT current_map FROM table_name_25 WHERE namesake = "derain crater" </s>