The origin of the term 'voodoo shark'