已停止的业务的Red Rock Resorts Inc.。