Turbulence and Mixing in the Arctic Ocean’s Amundsen Gulf