The battle of Lapento of October 7, 1571