The company he founded in 2002 to create a colony on Mars is putting just under 5% of its total capital on the market, ...