El-Mofty was shot and killed around Christmas, not today. New gunman’s name has not been released.
You are correct. My mistake
If the Federal Marshals were involved..