太空中的环形山大都用著名的人物的名字来命名。比如说“祖冲之环形山”，“张衡环形山”，那么以下哪位女性的名字被用来命名外太空环形山？（）