Thanks everyone.
Tinkster, nope, no fertilizer, the pond is mud bottom over a liner, and takes care of itself.
Anything that ends up on the bottom, leaves, fish poop, dead bugs, dead fish, rots down and becomes fertilizer for the lotus.
As you can see, there seems to be plenty of nutrients in the pond.
I am about to go out and give the koi their breakfast.