NYT puzzle for Tue, Jul 31, 2012