Who is the king of Lilliput?

Could you please elaborate on the identity of the king of Lilliput? Is there a specific character or leader who holds this title in the context you're referring to? If this is a reference to a literary work, I'm curious to know if the king plays a prominent role in the story and what characteristics he possesses that make him deserving of the title. Additionally, I'm wondering if there are any notable events or achievements associated with his reign that further solidify his position as the king of Lilliput.