刚果的全称是什么名字英文