Question: What is the official name of the nation for which Jose Semedo plays football?
Answer: Republic of Cabo Verde