Mauerbau an Grenze zu Mexiko: Trump darf Pentagon-Mittel nutzen