Curated from BBC News — Here’s what matters right now:
Three other service members were injured in the attack, during which the gunman was "engaged and killed", according to the US military.
Next step: Stay ahead with trusted tech. See our store for scanners, detectors, and privacy-first accessories.
Original reporting: BBC News