Design of a 460 GHz second harmonic gyrotron oscillator for use in dynamic nuclear polarization