Gun battle in Sinai: Egyptian police exchange fire with mystery attackers