Engel, Frank L., 1917- .