If the Royals sell at the trade deadline, should they trade Cole Ragans?