I open open Disk Utility and check the properties for the mounted drive. It says the drive isn’t encrypted.
So I need to try again to erase the drive with Disk Utility and reformat it with an encryption passphrase. I don’t know why I’d be any more successful this time than I was the first time, but let’s give it a go.
9/13