The Cincinnati Reds traded Castillo to the Seattle Mariners on Friday night. Castillo was set to be a free agent at the