the alamo is part of texas