¿Qué profecía específica dada por el profeta Isaías, que detalla la manera en que el rey Ciro de Persia liberaría al pueblo de Israel del exilio babilónico, es notable por nombrar a Ciro siglos antes de su nacimiento y acción?