Le Pentagone sacrifie ses F-35 pour aider à financer le mur de Trump et débloque 3,8 milliards de dollars