BANGKOK: Thailand's cabinet declared a government holiday on Friday for mourning King Bhumibol Adulyadej, who died the previous day, a cabinet spokeswoman told Reuters. The Stock Exchange of Thailand however said it and other …