Wall, Patrick, 1916-