revolutionary army of kampuchea Synonyms