Many planetary bodies in the outer solar system are now considered to be ocean worlds, that is, they harbor global layers of liquid water beneath the ice crust (see for instance the synthesis by [Nimmo & Pappalardo, 2016]; also [Hendrix et al., 2019]). In most cases, inner oceans are believed to be in direct contact with rocky cores: only in the case of the largest moons Ganymede, Titan and Callisto, can a deep mantle composed of high-pressure ice polymorphs be present (e.g., [Hussmann et al., 2015]). While chemical reactions between rocks and liquid water