a castle in Edinburg