El Congreso de EEUU puede prohibir el uso del más nuevo portaviones del país, el USS John F. Kennedy (CVN-79), toda vez que la configuración actual de la embarcación no permite el despegue y el aterrizaje de los cazas F-35C.