Su nombre verdadero se ha perdido, siendo conocido como "Roche Braziliano", que traducido sería «Roca el brasileño».