Text this: High input voltage discharge supply for high power hall thrusters using silicon carbide devices /