Indeed, as Mixture stated, the install to hard drive went okay. Disc partitioning seemed to go okay also. The problem was that I could not get the newly formed partition, into which the Mint installation had gone, to be the boot partition.
I've deleted the installation and reclaimed the disc partitions. I'm going to try a different Linux download.
To be continued...