I’ve always left my pump running in winter, but was recently told by a pond keeper to turn off the pump over winter. There are 2 koi, one about a foot long and one youngster plus around 10 goldfish. The pond is approx 3 ft deep and is around 7ft x 4 ft.