Dynamics of high-pressure ice layers in large ocean worlds | Synapse