<i>There was</i> then no king in Edom: a deputy <i>was</i> king.