NASA's daring Mars helicopter gets fitting name, Ingenuity, thanks to teen - CNET

The NASA Perseverance rover will carry an actual (small) helicopter to Mars.