Was it necessary for Santa Anna to kill all of the Texans or was there a better way to handle the situation?