تيودوسيو، أمير البرازيل