What the Libyan Intervention May Have Cost Us