US agencies mount major effort to prevent Russian interference in the election even though Trump downplays threat (Washington Post)