Las actualizaciones del dique seco del portaaviones del astillero se estiman en $ 667 millones