Comparing turbulence in a Kelvin–Helmholtz instability region across the terrestrial magnetopause