Cheonggyecheon (Stream) being covered in the 1950s