The ocean's saltiness and its overturning