We lost our Ghost Koi to a heron. Had grown from a 5" tiddler to a 13" monster we called jaws. Gutted we lost him.

Phone a fish place for advise mate. Deffo worth putting a net over the pond though to keep them in there