A high field hts solenoid for muon cooling | IEEE Conference Publication | IEEE Xplore