Major Pay-TV Providers Lost About 5,000,000 Subscribers in 2023 (Leichtman Research Group)