Netherlands: Dead in stabbing incident on Woenselse Markt in Eindhoven