General: which frontiersman and politician was killed at the alamo