Stock market today: Asian stocks mixed at the start of a holiday-shortened week