¿Qué rey extranjero, mencionado en el libro de Isaías, es profetizado como un instrumento de Dios para liberar al pueblo de Israel del exilio babilónico, a pesar de no conocer a Yahvé?