You can add the bacteria and get it rolling. You can also salt the pond using feed salt. 1/2 to 1 pound per hundred gallons it will still be plant safe. You can float them if you like depends on the temp. change. I just know the basics though. I'm not into koi that much, just have to take care of them.
LOL