How I Installed a Full RHEL-Class Linux OS with Full Disk Encryption on a 256GB USB Key