I would completely kill the pond. Restock and hope the other fish are established before they come back.