- DENOMINACIONES DE “POZO DE LA MINA” Y “RÍO MARIGARCÍA”: el río llamado actualmente “Río del Puerto” se llamaba anteriormente “Río Marigarcía”.