10% is not even 100 billion. You are wildly optimistic. 100B a year is likely closer to the cost of just maintaining a mars base. The cost to actually build one is likely an order of magnitude higher.