Definition of "elephantfish"