I would do around 500 gallons to a fish, but you can go lower like you said, 100.
But Realise that these fish
will grow. I cannot stress that enough. You will see ponds with much higher stock rates, but they all have proper filters for koi ponds, you just have 2 bio filters, which is good, but not as good as it could be.
A 15 inch koi should get a minimum of 300 gallons to itself, but you can overstock, but it is best that you dont. that would allow you with 50 fish, and it would maintain a healthy pond, but not for long.
I strongly Reccomend 500 gallons to a fish. I cannot stress it enough. This would allow you 30 fish, that will grow.