how many treaties of velasco were signed at the conclusion of san jacinto?