Through-Wall Excitation of a Magnet Coil by an External-Rotor HTS Flux Pump