Un-mixing the ocean: double diffusion and turbulence in polar oceans