EGYPT BOMBS ISIS IN LIBYA.