Boundary between United States and Mexico, as surveyed under convention of July 29, 1882, revived Feb. 18, 1889.