Panama den 8 juli 1882.