the Rio Grande River marks the border