san jacinto river history