Text this: Modeling mixing and melting in laminar seawater intrusions under grounded ice