A king of Jerusalem who made an alliance with four other kings against Joshua. A great battle was fought at Gibeon, where the Lord aided Israel by a terrific hailstorm, and by miraculously prolonging the day. The five kings were utterly routed, and hid themselves in a cave at Makkedah; but were taken by Joshua, and put to death, Joshua 10:1-43 .