Daesh doubles number of fighters in Libya: US general