Edinburgh Castle Rock may refer to: