Libya: US air-strike targets jihadist leaders