I really don't see how you can be sure of that. Who would want to live in a steel cave for their entire life? Anything we need from Mars could be extracted with

I really don't see how you can be sure of that. Who would want to live in a steel cave for their entire life? Anything we need from Mars could be extracted with automated machinery.