Colt's variations of the old model pocket pistol, 1848-1872