what kind of salt is used in Korean cooking pages