Miranda

This family name, according to Dr. Alvaro de Azevedo, comes from João Lourenço de Miranda, one of the noble companions of Zarco. There are other Mirandas that come from João Machado de Miranda.