Pentagon added 4,284 names to the gun ban list since the Texas church shooting