My history book mentions King Joko's defeat of Abaddon. That's why he isn't around anymore. How did King Joko do it?