Did you know that the ruling Dutch East India Company drove the Islamization of the eastern salient of Java in the 18th century?