Libya: workers shut down oil terminals