Warrior Met Coal (HCC) — Short Interest