The real question is how is the pond fed. If it is spring fed you can do Koi or natives, If it is fed by season rains it will be hit and miss on what will live long term and what will die. My family stocked one of our ponds in Wi that was similar in size with native fish we caught when a quarry was reopened and drained. A few years later in a river fed pond the only real survivors where the bass and the minnows plus one goldfish that grew to the size of a softball then vanished.
If you stick to natives you don't have to worry about any real maintenance and if you get a heron or muskrats like we had you don't sit and worry about your prized koi being eaten.
If you stick to natives you don't have to worry about any real maintenance and if you get a heron or muskrats like we had you don't sit and worry about your prized koi being eaten.