(CNN) — A U.S. Marine was shot and killed while on duty at the Marine Barracks in Washington, DC early Tuesday morning, the Marine Corps said in a news release.
DC police responded to the incident. The circumstances of the shooting are unclear and the killing is under investigation, the release said, adding that there is no threat to the public.
The marine, whose identity has not been released, was shot at 5 am. The shooting was determined not to be a threat to local residents because it occurred on the grounds of Marine Barracks, the release said.
CNN has reached out to DC police and the Marines.
The-CNN-Wire™ & © 2019 Cable News Network, Inc., a Time Warner Company. All rights reserved.