If SpaceX can launch 1,800 Starships, and researchers nail gnarly networking, design and formation flying problems,