סך המניות בידי הציבור של Warrior Met Coal, Inc..