Detecting super-Nyquist-frequency gravitational waves using a pulsar timing array