Police in Washington DC say a US Marine has been shot and killed inside of the Marine Barracks in Washington.

News outlets report that police say a male Marine was shot early Tuesday morning in an apparent accident and later pronounced dead. Police haven’t said why the shooting was accidental. Marine Corps spokesman Chief Gunnery Sargeant John said the man did not shoot himself.

Authorities did not immediately release the man’s name. A barracks statement says the release of the man’s name is pending notification of his family.

The Marine Barracks was founded in 1801 and is the oldest active Marine Corps post. A Marine survived a self-inflicted gunshot wound at the compound in June. Another Marine was fatally shot in the head at the compound in 2013.