Washington shooting: teenager dead and police officer wounded at music event