La portaerei Cavour a Trieste: lavori di carenaggio al bacino San Marco