NACCO Industries, Inc. ($NC)