Which name should be included in a report about people who played a part in texas history after the battle of the alamo? andrew jackson, jefferson davis, anson jones, or john tyler