Verteidigungsminister Mattis: US-Truppen bleiben in Südkorea