John's obit says he married Mildred (Cherry) Carlson so not sure if Cherry is a nickname or surname? seems to be a big mix up as to which children came from which husband?