Football: Dutch East Indies fixtures