Castillo, 29, was named to the National League All-Star team for the second time in his career this year while a member of the Cincinnati Reds. He was acquired at the trade deadline by the Mariners and then signed a five-year, $108-million extension last mont…