Dutch pension fund disinvests millions from Israeli banks, and for the right reasons