Whale sharks are local fishermen’s best friend