International

Stock market today: Asian markets mixed following hotter-than-expected US jobs report