MGM Resorts International Operations Inc.