What is the minimum size and type of mud to use for an effective mud pond ?Any koi hobbyist have one in their back yard ?

Kevin