Phase locking a 4.7 THz quantum cascade laser using a super-lattice diode as harmonic mixer