Have anther name. It's called ore. Or it might be. We know for sure mars has all the elements we need for industry. Rovers are great and teach us a lot, but people would discover ten times as much in 1% of the time.
The mission cost of the next rover will be $2.5b or about half of Mars One's costs. I could put 24 crew on mars for that price.