Gefederaliseerde Nationale Garde-troepen blijven tot het einde van het jaar in Washington, D.C. ingezet, volgens twee functionarissen.