Mock, John E. (John Edwin), 1925-