Murdering Mangir: literature and memories of violence in Islamic Java