Mars explorers could harvest oxygen from the atmosphere using plasma