If you're wondering where the korean community eats in Brasilia, look no further. Happy House is the oldest korean restaurant in town and sets itself apart from the alternatives by having a more authentic korean food. Not that I'm a specialist in korean food but theirs taste just like the food my halmoni used to make.
If in doubt of what to eat, there are three dishes I always like to suggest. First is bibimbap, a korean classic of mixed beef, vegetables and rice perfectly seasoned with korean spices. Now, the reason I like to suggest this dish is because you can mix the gochujang yourself and make it as spicy as you like. The next suggestion is the all-famous kimchi jjigae (kimchi stew) which is just perfect for cold days as all the red pepper is surely going to get you sweating. The third and last suggestion is much less known but my favorite for summer days: mul naengmyun, or noodles in a refreshing ice cold broth.
Worth metioning is that any korean food you choose from their menu is going to be introduced by a set of korean appetizers.
https://www.instagram.com/restaurantehappyhouse/