For what you are describing, 6k G pond, males would be better but quality females are not out of the question if you were to give them 1000g/ female.
Now, if you had a larger & deeper pond, say 10,000g or more I would definitely say female & the water to koi ratio will still be the same.