Libyan exports put an end to oil’s “bull run”