per l’eccellente lavoro svolto al Comando della Capitaneria di Porto di Roma e alla direzione marittima del Lazio e auguro il benvenuto a nome di tutta la città al Capitano di Vascello Pietro Maradei che assumerà il nuovo incarico”.