That would square with the other busloads of illegal aliens that leave Texas for sanctuary cities around the country.