Joint commission on boundary between the United States and the state of Texas