dutch national flag problem