Did the Provisional Irish Republican Army have any links with the Soviet Union? did they ever try to procure weapons or explosives from the USSR ?