I am retired and purchased a house that has a koi pond with eight koi ranging from eight inches in length to twenty-four inches in length. There is also three babies that were born last year. I am seeking advice on how to rid the pond of a juvenile water mocasin that has taken up residence. Thank you.