BENACUS LACUS, the ancient name of the Lago di Garda.