Progress in the Construction of a 20 T REBCO Insert Coil for High-Field All-Superconducting Magnets | IEEE Journals & Magazine | IEEE Xplore