DatasetInPool destroy: honor argument destroy_top