D.C. somehow got used to armed troops at Metro stations, parks, and monuments. It's business as usual now.