wekdienst 20/7: laatste dag vierdaagse en is puerto rico al hersteld?