Saudi Arabia shuts down crude oil pipeline to Bahrain after attacks on oil facilities