Politie scherpt toezicht in Delft aan na schietincident