NYT crossword for today, Feb. 17, 2023: