“Ross Gerber does not believe the goal of establishing a one-million-person colony on Mars is achievable.”