a gravestone with a korean inscription