James Craig set to retire as Detroit police chief, source says (corrected)