John G. Trump — American electrical engineer (1907–1985)