Polizist bei Anschlag auf Sinai-Halbinsel getötet