Porto Torres ricorda i marinai dell’Onda, il sindaco: «Eroi, esempio di coraggio»