Good Riddance to Gun Ban That Wasn’t Working