El Pentágono podría necesitar otra inyección de 38.000 millones de dólares para el mantenimiento de los F-35