Thailand’s 88-year-old king treated for high fever