NASA's next Mars rover will get one of these 9 names

NASA has chosen nine finalists in the student naming contest for its next Mars rover, which currently goes by the bland Mars 2020.