arlington is part of texas