If sound in air with wavelength 1.7 m enters a body of water, what would its wavelength be in water?