国家航天局将首次火星探测任务命名为