Key Highlights
- Shooting occurred at a DMV office near Wilmington, Delaware.
- A state trooper was killed after being shot by a gunman.
- The trooper pushed an employee to safety before being shot again.
- The 44-year-old gunman was killed by responding police officers.
- The incident took place during the trooper's overtime assignment.

