Chi era Pietro Mastino, il carabiniere morto mentre andava al lavoro ad Alghero