Koi in Hagerstown City Park pond

We've seen about 5 or 6 of these pretty koi among the normal brown carp in the Hagerstown City park pond. It still amazes me how clear the water is with all these fish in it. There have got to be hundreds of them.