I’ve noticed that if you look up “Frederik Hendrik” on Facebook, you find several Indonesians. More Indonesians than whites seem to have this name. I am assuming that they were named after Frederik Hendrik, the Prince of Orange, since Indonesia was colonized by the Dutch. But why exactly? Did the Dutch name things in Indonesia after Frederik Hendrik? Is he some kind of historical hero to the Indonesians?
Are Willem and Maurits also popular Indonesian names?