Eastern Libyan military’s warplanes hit Islamists in Derna