“SpaceX's Starlink business has 9 million subscribers for its commercial internet service.”