Should the US and its allies bomb ISIL’s oil installations?