Rotation-vibration spectra of deuterated water vapor in the 9160–9390-cm−1 region☆