The Provisional Irish Republican Army declares a ceasefire.