Definition of "Rodrigues" :

Definition: "Rodrigues" is a geographical name.