Ha Deok-seong, 하덕성, 河德成