There aren't really any options for coldwater algae eaters. One commonly recommended if the Hillstream Loach, but they won't survive live with Koi in such are large pond and would have little effect on algae. What form of algae do you want eaten?
One fish that would graze on some forms lightly is the Grass Carp, but I wouldn't recommend adding one to your already heavily stocked pond.