That pond is only 18 000 liters, so if I was an hobyist, I would have been totally overstock with 80 koi in one fairly small pond.
Most of these fish are selling stock, and will soon go(hopefully

) With good filtration, lot of aeration and large daily water changes, a dealer can keep quite a lot of fish in one pond, pending sales.