El nombre oficial del Estado de Kampuchea es “Kampuchea Democrática”.