CREATE TABLE table_name_25 (current_map VARCHAR(255), namesake VARCHAR(255))
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"