Paul J. “Jerry” Koehl, 71