How many men would it take to hold the alamo