North Korea’s former ceremonial head of state dies