Ionization constant of water to 800.deg. and 4000 bars