Proposed acquisition of MGM Holdings by AT&T (via WarnerMedia)