'Marina de Ceuta', el puerto deportivo estrena nombre en su 20º aniversario