Provisional Irish Republican Army actions in London