I have an update. I got someone to extract the fish from the pond and take them away for money somehow, someway. These people came without a fuss and took them. The biggest fish was 80cm! Huge *******.
The pond was then disassembled, drained, and demolished. Now it's back to soil. I've been told the fishies are very happy in their new pond. Result.