A New Pulse Magnet for the RCS Injection Shift Bump Magnet at J-PARC | IEEE Journals & Magazine | IEEE Xplore