¿Qué profecía, dada a través del profeta Isaías, anticipa específicamente el papel de un rey persa, Ciro, en la liberación del pueblo judío de su exilio en Babilonia, incluso nombrándolo siglos antes de su nacimiento?