An 800-MHz all-REBCO Insert for the 1.3-GHz LTS/HTS NMR Magnet Program—A Progress Report | IEEE Journals & Magazine | IEEE Xplore