Dozens killed in attack on ISIS in Libya’s Derna