Does "PRC" refer to People's Republic of China? Not clear.