Среднее число акций в обращении на Red Rock Resorts, Inc.