Hughes, E. J. (Edward John), 1913-2007