Proposed acquisition of MGM Holdings by WarnerMedia