Astronauts could use Mars soil for 3D-printing on the Red Planet