Miguel De Benavides [Spanish captain during the Moro wars.