What is the input impedance of a quarter-wavelength transmission line section terminated with a short circuit?