Istituzione della "Giornata della memoria dei marinai scomparsi in mare".