20170720 business.international-business: RadioShack brand to survive under new owner -sources