Se adoptó el nombre oficial de "Kampuchea Democrática" para el país.