Teodósio, Vương tử Brasil