Tongan King Tupou IV dies at 88