Three other service members were injured in the attack, during which the gunman was “engaged and killed”, according to the US military.
Three other service members were injured in the attack, during which the gunman was “engaged and killed”, according to the US military.