Captain Cunningham, Town Major of Gibraltar 1757