Yi, Sang-yŏp (Navy colonel)