An English dictionary utility for Korean