Teodorico menù, Ilha de Porto Santo