How many mexicans died at the alamo