Marine shot and killed in DC barracks

A US 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.