80 ezer fő lesz az első Mars telepes kolónia