Trump desviará 7,200 mdd del Pentágono para muro fronterizo