The Rio Grande forms a large portion of the border between the United States and Mexico. In which US state does this river originate?