Making oxygen on Mars