NYT crossword for today, Feb. 15, 2023: