Festa della marina con premiazioni ai militari e consegne benemerenze ai civili