El complejo fue ampliado por Sejong el Grande (r.