Judge sets Oct. 17 trial date in Elon Musk Twitter takeover deal (Washington Post)