Turbulent Mixing in the Red Sea Outflow Plume from a High-Resolution Nonhydrostatic Model