Walsh, John E. (John Edward), 1919-