Ex-Trump official Brian Hook’s car stolen and used in deadly DC shooting: report