NY Times Crossword 3 Jul 20, Friday