Lynch, Michael R. (Michael Richard), 1917-1983