See also Stock market today: Asian shares are mixed, with markets in Japan and US closed for holidays
