3:9 king of Edom. The ruler of Edom was likely a vassal to the king of Judah and therefore obliged to assist him (cf. 8:20; 1 Kin. 22:47).