Navantia bota el buque flotel que construye para la petrolera mexicana Pemex en una jornada "memorable"