NYT puzzle for Thu, Jul 31, 1980