M. Trump veut doter l’US Navy de 12 porte-avions, contre 10 actuellement