You just read:

MGM Resorts International Announces Closing of Circus Circus Sale

News provided by

MGM Resorts International

Dec 20, 2019, 16:10 ET