The king asleep in mountain is a prominent folklore trope found in many folktales and legends. Thompson termed it as the Kyffhäuser type. Some other designations are king in the mountain, king under the mountain, sleeping hero, or Bergentrückung. Wikipedia