Traditional Korean pavilion by a pond