A REBCO Superconducting Permanent Magnet Undulator (video)