¿Qué profecía, encontrada en Isaías, describe a un rey persa que, aunque no conoce a Yahvé, es elegido por Dios para liberar a Israel del exilio babilónico y reconstruir Jerusalén?