And how did Karl Rove know Obama was talking about Trump?