“Sean McGuire asserts that the intrinsic complexity of a Starlink satellite is likely greater than that of an orbital compute satellite.”