Many people are bothered about the number of privately owned guns in the United States, but what about publicly owned ones?