“which was destroyed by a mob, on the 17th of May, 1838.”