Surely this did not happen within the city of Washington DC because everyone knows there are no guns there....
DC gun laws are carefully crafted so that only government workers who are level-headed, trained experts can have guns. The unwashed masses need not apply.