The recipe is here! https://www.maangchi.com/recipe/gungjung-tteokbokkiGungjung-ddeokbokki is actually the original ddeokbokki and is very different than the more well-known red, spicy version. This was before hot peppers were introduced or popular in Korea, so it isn't spicy at all.
