If your league has a message board, I would make a post that Machado is available. Mention that you are seeking draft pick compensation and see what kind of offers are made.
If your league doesn't have a message board, than I would send a group email announcing Machado is available.
It's good form in my view to let everybody in the league have a shot at getting a superstar if you decide to deal one. Plus you might get a really good offer.