The naval battle of Lepanto between the Holy League and the Turks in 1571