Mur entre les Etats-Unis et le Mexique : le Pentagone débloque 3,8 milliards de plus