Oleoduto que liga a Arábia Saudita ao Mar Vermelho também foi atacado, segundo disse uma fonte do setor à Reuters