was the battle of alamo a massacre