Trump pardons Anthony Levandowski, who stole trade secrets from Google