The last American whale-oil company: A history of Nye Lubricants, Inc., 1844-1994