Re: here's the money
NASA commercial cargo. NASA commercial crew. NRO secret missions. Space Force launches including GPS upgrades. Commercial satellites that are not OneWeb or Kuiper. Scientific and military payloads too big for Rocket Lab and not stuck with a national carrier (EU, China, India and Russia). If the funding survives the change in administration: bits of Artemis. Then we get to the big two: Starlink and private investment.
SpaceX runs at a profit despite some big bangs in Boca Chica (Starship SN8 could be making an impressive crater before the end of the year). Private investment has already provided enough to make SpaceX the biggest commercial satellite operator and their is still plenty of money left over for more launches. Starlink will be bringing in a good return on investment before Musk considers raising more money by splitting it out into a public company.
Musk has the potential income to get Mars started without having to look for something on Mars worth the cost of bringing it back. Remember Boca Chica is not making about making half an SLS every year. It is about making multiple Starships each month (SN9 is about ready, SN10 is in big pieces and bits of SN15 have been spotted).