En el libro de Isaías, ¿qué rey persa es nombrado por su nombre como el instrumento de Dios para liberar a Israel del exilio babilónico, cumpliendo una profecía dada siglos antes de su nacimiento?