He never believed in colonizing Mars (unless he's a moron). His Mars ambition has always just been about snatching the most lucrative inter-governmental contract that anyone has ever conceived of. Everything Musk has been involved with since PayPal has only been possible through federal subsidies and contracts.