International

Stock market today: Asian shares are mixed after gains on Wall Street