La salute e la sicurezza dei lavoratori del mare: note storiche