Thanks. Took you suggestion and looked it up on Wikipedia. Good call.
Welcome. So many interesting parts to that story, including the aftermath of “Who gets credit”
I keep looking for a documentary on the subject . . .