Le démantèlement de l’USS Enterprise coûtera près d’un demi-milliard de dollars