António Martins da Rocha — Portuguese farmer in Funchal, Madeira Island