Text this: Enhanced vertical mixing in the glacial ocean inferred from sedimentary carbon isotopes