Who was captured after the Battle of San Jacinto?