If it's true that they killed it, what a shame. Surprising that a fly fisherman killed it. I could see a guy on a guided trip that he does once a year killing it, but for a fly guy to catch it tells me he had to have some level of skill and should have had the responsibility to go along with it. I hope you are wrong.