coroner to investigate police killing of rock thrower