Yes Koi are a "bigger" issue, but even common goldfish have been found pushing 3 pounds after being released into lakes and are also closely related to common carp. Its a personal choice, but I think there are plenty of other species available that would perform better overall. At the very least do a Google search on goldfish in lakes and familiarize yourself with the potential implications if you choose to go that route.