Question: What is the alternate name for this castle?
Relevant Wikipedia article: https://en.wikipedia.org/wiki/Mangup