a contingent of united states troops