“In SpaceX's IPO prospectus, the combined total addressable market for Starlink and the launch business was stated as $2 trillion out of a total $28.5 trillion TAM.”