Egypt army strikes ISIS after attack on police