Coke is acidic, and it will corrode electronics. You're screwed, basically. If it still works, I say just take the keys out, wash them individually, and use the keyboard until it stops working. If the keyboard doesn't work now, you might as well wash it. Distilled water though, tap water has stuff that could completely ruin it.