I lavoratori del mare: rischio infortunistico, malattie professionali e sistema previdenziale tra storia e letteratura