Texan forces take Santa Anna at the battle of San Jacinto