Whoever stole that number of koi will be trying to resell them, so if you suddenly see some dealer with a large amount of extra koi, I suggest you contact the police:
http://www.washingtonpost.com/local...76cb6e-df2c-11e2-b2d4-ea6d8f477a01_story.html
http://www.washingtonpost.com/local...76cb6e-df2c-11e2-b2d4-ea6d8f477a01_story.html