“SpaceX's Starlink service recently launched in South Korea.”