Proposed acquisition of MGM Holdings by Discovery Inc.