distriktet Erie i staten Ohio den li februari 1847.