Seol mar théacs é seo: A solid-nitrogen cooled high-temperature superconducting magnet for use in magnetohydrodynamic marine propulsion