Linda, I forgot to mention that Michael O. Guthrie was also referred to as Owen Guthrie, so presumably his full name was Michael Owen Guthrie.