US-Präsident Donald Trump hat nach dem von Republikanern und Demokraten gefundenen Kompromiss im Haushaltsstreit versichert, dass die von ihm angestrebte Mauer an der Grenze zu Mexiko gebaut wird.