How many sons did the king have.