China dubs its first Martian rover Zhurong | Dark Hacker News