Libyan petrodollars and the overthrow of Gaddafi