Hawaii pension debt rises to $12 billion, but the real debt