Thomas, Michael,1933 July 15-