Murphy, John L. (John Leo), 1923-