Trump podría desviar 7.200 millones del Pentágono para el muro con México