an elephant used by fishermen in deep-water fishing or by elephant-catcher in catching or taming wild elephants.