Did they discontinue the use of the peanut butter shot in the military? If they did then was it replaced and is it administered in the same area? What handgun will the US military use to replace the 9mm Beretta?