What Happened to the Old Dutch Flag (Prinsenvlag)?