“According to its S-1 filing, SpaceX's Starlink business has a total addressable market capped at approximately $2 trillion.”