Table 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?
SQL: SELECT current_map FROM table_name_25 WHERE namesake = "derain crater"