NACCO Industries (NC) — Short Interest