This story is now at https://africanstreetjournal.com/eg/egypt-border-guards-killed-in-eastern-desert-operation-3f0966/.