Thai king Bhumibol Adulyadej dies at 88