It's like Starlink, but for the government.