登上火星的“祝融”，在史书上拥有姓名