Is terrorism eroding agglomeration economies in central business districts?