Stock market today: Asian stocks mixed in muted holiday trading as 2023 draws to a close