Sorry can't help you with the technical details but we all just love to see the details of everybody's ponds. More details. Pics? Video? How many fish? What size/kind? Not being nosey, just love pics and videos. Welcome, BTW. Hope somebody comes along soon and gives you the answer on the pipe size.
Are you having any fish/water parameter issues?