Source: OKC picks up Donovan option for ’19-20