塞浦路斯又叫什么名字