How is the Dutch army doing?