Trump appears to wrap up his Twitter thoughts on the Mueller probe with a remark about DOJ official Bruce Ohr and his wife, who he misnames.