Varenna, il marinaio Vanni e la sua storia