Oh bugger mate
Had a similar thing when i was a teenager (built a pond at my parents house), seal went on a filtration box and all the water being pumped through ended up leaking out. Luckily the water all ended up on a small paved path/patio area so it was spotted before the pond got low (and we didn't have koi either).