North Korea to hold state funeral for military marshal Ri Ul-sol