เกาหลีทำให้ใช้หินบดในเกาหลี