The guy who told you it didn't count should have volunteered to jump in the water and touch the leader himself. He could have brought his little plastic hook disgorger and got your hook out, and patted the shark on the head before sending it on its way.
But in my book this catch counted. If...