Walsh, Michael John, 1918-