US linear pay-TV subscribers who also use streaming services (July 2018)