Mariners exercise Muñoz’s $9M option, decline Robles, Miller options

Reliever Andrés Muñoz’s $9 million option was exercised Thursday by the Mariners, preventing the pitcher from becoming eligible for free agency. Seattle also declined a $9 million option on outfielder Victor Robles, who is eligible to be a free agent.