Hello,
I'm sorry to hear about what has happened, it must have been a shock.
In order to establish how it has become deceased you should go about testing your nitrite and ammonia levels; anything above zero can cause significant stress to Koi. I think the most important water component to test for would be the PH and KH (Carbonate Hardiness) levels of your pond. KH is a measure of the buffering capacity of the water to resist changes in the PH level; the lower the KH the more likely your PH will change dramatically, causing immediate death to fish. "PH crashes" often occur over night for numerous reasons so providing your KH level and PH levels are inadequate, I think this will explain why the fish was found deceased by the morning.
PH and KH levels can be tested using commonly available pond water testing kits; the most popular and accurate brand is API.
If your PH is below 7.0 or above 8.8 go about making adjustments so that you attain a level of 7.5-8.5 as Koi like moderate alkaline water. PH levels should not fluctuate by more than 1.0 units per 24 hour period.
If your KH is low, go about increasing it substantially to avoid further PH crashes.
I hope this information is of some use,
Mark.