NYT puzzle for Tue, Jul 15, 1980