US-Militäreinsatz an Grenze zu Mexiko bis Ende September verlängert