20170418 business.international-business: Vacuum cleaner maker SharkNinja up for sale -sources