LA Times Crossword, Tue, Dec 12, 2023